Skip to content

Add a test that showcases #462 #464

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Closed
wants to merge 2 commits into from

Conversation

DarkDimius
Copy link
Contributor

No description provided.

@DarkDimius
Copy link
Contributor Author

Cannot get travis to reproduce the issue, though It always triggers on my machine.

@odersky
Copy link
Contributor

odersky commented Apr 9, 2015

I can't reproduce the error. But happy to include the test anyway.

@odersky
Copy link
Contributor

odersky commented Apr 9, 2015

But it needs to be rebased.

@DarkDimius
Copy link
Contributor Author

The error seems to be fixed, I cant reproduce it anymore either.

@odersky
Copy link
Contributor

odersky commented Apr 23, 2015

I guess we can close this one then.

@odersky odersky closed this Apr 23, 2015
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants